Structural Analysis of Workflow Nets with Shared Resources
نویسنده
چکیده
منابع مشابه
Time Petri nets for workflow modelling and analysis
Time management in workflow processes is crucial in determining and controlling the life cycle of business activities. In our model, a temporal interval as an execution duration is assigned to every workflow task. While the real time taken by the task is nondeterministic and unpredictable, it may be between the bounds, thus specified. We extend Workflow nets (WF-nets) with time intervals and ca...
متن کاملThe Biconnected Verification of Workflow Nets
Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their struc...
متن کاملResource-Constrained Workflow Nets
We study concurrent processes modelled as workflow Petri nets extended with resource constrains. We define structural criteria for the correctness of such models based on traps and siphons. We also define a behavioural correctness criterion called soundness: given a sufficient initial number of resources, all cases in the net are guaranteed to terminate successfully, no matter which schedule is...
متن کاملInterval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
Correctness of workflow design cannot be evaluated by checking the execution for one single instance of the workflow, because instances, even when being independent from the data perspective, depend on each other with respect to the resources they rely on for executing tasks. The resources are shared among the instances of the same workflow; moreover, other workflows can use the same resources....
متن کاملModelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets
In this paper a modelling methodology for workflow management systems based on coloured Petri nets is proposed. Using an integration method, processes and resources are modelled at the same abstraction level. A process is decomposed into task structures, whilst human resources are considered at role level. Activity based costing is combined with classical temporal analysis of workflow. The suit...
متن کامل